Foundations for Scripting Languages (Dagstuhl Seminar 12011)

نویسندگان

  • Robert Hirschfeld
  • Shriram Krishnamurthi
  • Jan Vitek
چکیده

This report documents the program and the outcomes of Dagstuhl Seminar 12011 on the “Foundations for Scripting Languages”. The choice of “for” rather than “of” is intentional: it is our thesis that scripting languages are in need of foundations to support their extensive use but lack them, and we hope this event consolidated and advanced the state of the art in this direction. Seminar 02.–06. January, 2012 – www.dagstuhl.de/12011 1998 ACM Subject Classification D.2 Software Engineering, D.2.4 Formal Methods, D.3 Programming Languages, D.3.1 Semantics, D.3.4 Compilers, I.7.2 Scripting Languages

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dagstuhl Seminar 13142 Correct and Efficient Accelerator Programming

This report documents the program and the outcomes of Dagstuhl Seminar 13142 “Correct and Efficient Accelerator Programming”. The aim of this Dagstuhl seminar was to bring together researchers from various sub-disciplines of computer science to brainstorm and discuss the theoretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming....

متن کامل

Foundations of distributed data management (Dagstuhl Seminar 11421)

Forensic Computing (Dagstuhl Seminar 11401) Felix C. Freiling, Dirk Heckmann, Radim Polcák, and Joachim Posegga . . . . . . . . . . 1 Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411) Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen, and Hideki Tsuiki 14 Foundations of distributed data management (Dagstuhl Seminar 11421) Serge Abiteboul, Ali...

متن کامل

Computational Foundations of Social Choice Dagstuhl Seminar

From March 7 to March 12, 2010, the Dagstuhl Seminar 10101 Computational Foundations of Social Choice was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper. The rst section desc...

متن کامل

Foundations for Forgery-Resilient Cryptographic Hardware Dagstuhl Seminar

From 05.07 to 08.07.2009, the Dagstuhl Seminar 09282 Foundations for Forgery-Resilient Cryptographic Hardware was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ...

متن کامل

Human Motion - Understanding , Modeling , Capture and Animation . 13 th Workshop " Theoretical Foundations of Computer Vision " Dagstuhl Seminar

From 11.06.06 to 16.06.06, the Dagstuhl Seminar 06241 Human Motion Understanding, Modeling, Capture and Animation. 13th Workshop "Theoretical Foundations of Computer Vision" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts ...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Dagstuhl Reports

دوره 2  شماره 

صفحات  -

تاریخ انتشار 2012